MIT Hardness Group, H. Ani, E. D.Damaine, H. Hall, R. Ruiz, N.Venkat; "You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games" - Internet Explorer 2.0

MIT Hardness Group, H. Ani, E. D.Damaine, H. Hall, R. Ruiz, N.Venkat; "You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games"

https://arxiv.org/abs/2405.10546